Tradeoffs of Highly-Expressive Types
jnkr.tech·9h·
Discuss: Hacker News
🎯Gradual Typing
Embedding MicroHs
thma.github.io·1d
🔗Functional Compilers
Whirlaway: Multilinear STARKs using WHIR as polynomial commitment scheme
blog.lambdaclass.com·1d
🎯Performance Proofs
Equivalence via Surjections
golem.ph.utexas.edu·1d
🔀Category Theory
Bootstrapping a Forth for Art
tia.mat.br·6h·
Discuss: Lobsters, Hacker News
🔗Concatenative Programming
Quirks of Common Lisp Types
fosskers.ca·5h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Footnotes to the week: Mellor, Sets, Mozart
logicmatters.net·8h
🏗️Constructive Analysis
Symmetry in subword segmentation
languagelog.ldc.upenn.edu·6h
📄Text Segmentation
Forcing ChatGPT to Obey: Minimal and Deterministic Rules
dev.to·16h·
Discuss: DEV
📝ABNF Parsing
“Why we are the pure, primitive Church”
larrysanger.org·9h
⬜Minimalism
Pre-modern art and metadata: a sticky situation
tinysubversions.com·11h
💿FLAC Archaeology
Notes on Programming in C by Rob Pike
lysator.liu.se·2d·
Discuss: Hacker News
🦀Rust Macros
A type system for RCL (2024)
ruudvanasseldonk.com·10h·
Discuss: Lobsters, Hacker News
💧Liquid Types
Refined bit complexity for the computation of at least onepoint per connected component of a smooth completeintersection real algebraic set
arxiv.org·2d
💎Information Crystallography
LongCat-Flash, a language model with 560B total parameters, MoE architecture
github.com·3h·
Discuss: Hacker News
📊Count-Min Sketch
The Art of Transformer Programming (2023)
yanivle.github.io·6h·
Discuss: Hacker News
🤖Lisp Machines
Abstract Machine Models Also: what Rust got particularly right
dr-knz.net·2h·
Discuss: Hacker News
🔩Systems Programming
Chicken Scheme internals: the garbage collector
more-magic.net·1d·
Discuss: Hacker News
🧠Separation Logic
D as a Better C (2017)
dlang.org·8h·
Discuss: Hacker News
🔩Systems Programming
A poem all in dactylic noun substantives, part 2
quuxplusone.github.io·1d
📖Manuscript Grammars